Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Three ways formally verified code can go wrong in practice
buttondown.com·1h
📜Proof Carrying Code
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Categorical systems theory
topos.institute·7h
🔀Category Theory
English - the hottest programming language of the future
dev.to·1h·
Discuss: DEV
🔄Language Evolution
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Defeating Return Type Polymorphism
philipphagenlocher.de·1d·
Discuss: Hacker News
🧬Functional Programming
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
CodeSOD: A JSON Serializer
thedailywtf.com·1d
📦Deflate
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
Does Go have types?
youtube.com·6h·
Discuss: r/golang
🔒Linear Types
TypeScript Flaws (2024)
intercaetera.com·3d·
Discuss: Hacker News
🎯Gradual Typing
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·15h
🔗Parser Combinators
Show HN: Realization Jsmn on a Pure Zig
github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming